《世说新语新校》中的笺疏商兑

《世说新语》一书，已传世较久，舛误疑点不少，校释工作难以做到尽善尽美。先哲与时贤在词语的校勘考释方面做了不少工作，成绩斐然。李天华先生所撰《世说新语新校》一书就颇有创获，但书中仍有若干笺疏，值得进行商兑。     

0-1整数线性规划的一种组合直接搜寻法

本文提出了一种求解0-1线性规划的组合搜寻技术，首先它把分量取0或1的所有整数向量按分量中所含1的个数进行分类；然后在每类点集中对取1的分量实施适当的组合；最后，根据约束条件搜寻最优解。     

诉讼证据基本属性的阐析

诉讼证据的基本属性在传统上被认为是客观性、相关性和合法性，这是在我国长期流传的正统观点。但笔者认为并不能准确反映诉讼法学和证据学上的特点，应该用真实性、相关性和合法性来概括其基本属性，才有利于对诉讼证据的正确认识和把握。通过对诉讼证据基本属性的分析批判，可以深入了解诉讼法学和证据学意义上的关于证据属性的理论和司法实践有关问题，以期有利于我国的法制进程。     

Robustness Proof on A United Watermarking Based on CRT Theorem

A new method of embedding and detecting a joint watermarking is proposed. It applies the asmuth-bloom secret sharing scheme, which is based on CRT (Chinese remainder theorem) theorem, to the digital watermarking technology. On the base of describing the watermarking embedding proceeding and analyzing the watermarking detection proceeding, a series of experiments is done. The experiments emphasize on the method‘s robust proving and security analysis. And the experiments show that the method can resist the attacks of JPEG compress, geometry, noise and gray adjusting. The results of the experiments show that the method has a nice recognition of copyright for joint ownership.     

Fibonacci数的一类和数列的性质

文中用组合分析中的计算方法得到了关于Fibonacci数的一类和数列的性质。     

面向证券投资的动态知识发现系统设计与实现

针对传统证券投资技术分析方法所存在的不足，通过对粗集理论、神经网络学习机理的研究。提出了面向证券投资的动态知识发现系统的基本框架．基于此框架，设计出面向证券投资的动态知识发现系统，并详细阐述了系统的各组成部分的设计思想及实现．最后结合实例，验证了系统的有效性、可行性．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

Introduction to Ant Colony Algorithm and Its Application in CIMS

Ant colony algorithm is a novel simulated ecosystem e volutionary algorithm, which is proposed firstly by Italian scholars M.Dorigo, A . Colormi and V. Maniezzo. Enlightened by the process of ants searching for food , scholars bring forward this new evolutionary algorithm. This algorithm has sev eral characteristics such as positive feedback, distributed computing and stro nger robustness. Positive feedback and distributed computing make it easier to find better solutions. Based on these characteristics...